1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Repositório | sid.inpe.br/marciana/2004/12.03.10.21 |
Última Atualização | 2004:12.03.02.00.00 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/marciana/2004/12.03.10.21.53 |
Última Atualização dos Metadados | 2021:02.11.21.05.05 (UTC) administrator |
Chave Secundária | INPE-11623-PRE/7004 |
Chave de Citação | MartinsGuimAmbr:2004:StTeRe |
Título | STER: a strategy for testing reactive systems. |
Formato | Papel |
Ano | 2004 |
Data de Acesso | 03 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 46 KiB |
|
2. Contextualização | |
Autor | 1 Martins, Eliane* 2 Guimarães, Daniele C. * 3 Ambrosio, Ana Maria |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 DSS-INPE-MCT-BR |
Afiliação | 1 *UNICAMP |
Nome do Evento | International Conference on Dependable System and Network; IEEE Conference Proceedings. |
Localização do Evento | Florence, Italy |
Data | 28 June - 01 July 2004 |
Editora (Publisher) | INPE |
Páginas | 2 |
Título do Livro | Proceedings |
Histórico (UTC) | 2005-01-07 11:55:25 :: jefferson -> administrator :: 2021-02-11 21:05:05 :: administrator -> marciana :: 2004 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | Estratégia de teste diagramas UML análise de risco |
Resumo | This article reports our current work in defining a specification-based testing strategy for reactive systems, named STER. The strategy is aimed at providing practitioners with a formal and systematic method of testing, which may be easily understood and applied in the industry. It is based on risk analysis to help pinpoint the critical parts of the system. Moreover, it guides testers to deal with limited testing time and resources common in industry context, without losing system quality. The experiments with the strategy has been supported by ATIFS [1], a test tool-kit of previous research, for testing some space applications developed at the National Institute for Space Research (INPE). Extensions in the strategy have been considered by aggregating fault injectionbased test cases to evaluate the system also in the presence of faults. |
Área | ETES |
Arranjo | STER: a strategy... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/sid.inpe.br/marciana/2004/12.03.10.21 |
URL dos dados zipados | http://urlib.net/zip/sid.inpe.br/marciana/2004/12.03.10.21 |
Idioma | en |
Arquivo Alvo | aambrosioIEEE_STER.PDF |
Grupo de Usuários | administrator jefferson |
Visibilidade | shown |
Detentor da Cópia | SID/SCD |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 4 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 3 |
Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor electronicmailaddress identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|